Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
351	IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, TKDER2 Using Ranked Nodes to Model Qualitative Judgments in Bayesian Networks Norman E Fenton, Martin Neil and Jose Galan Caballero Abstract— Although B Add to Reading List Source URL: www.agena.co.uk Language: English - Date: 2010-02-23 15:24:05 Graphical models Probability theory Game artificial intelligence Search algorithms Bayesian network Variance Minimax Tango tree Statistics Mathematics Networks
352	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
353	The Role of Openness in Industry Dynamics: A Model of Innovation and Technology Diffusion With Different Market Sizes Serguey Braguinsky, Salavat Gabdrakhmanov, Atsushi Ohyama, and David C. Rose∗ Abstract We propose a Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-13 22:50:11 Microeconomics Competition Perfect competition Supply and demand Productivity Elasticity Knowledge spillover Monopoly Demand Economics Economic growth Consumer theory
354	Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:13:58 Structure Universal algebra Formal language Parity of a permutation Mathematics Group theory Model theory
355	THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS ´ FINNUR LARUSSON Abstract. We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure. Add to Reading List Source URL: www.maths.adelaide.edu.au Language: English - Date: 2007-04-22 23:25:56 Category theory Mathematics Model category Fibration Weak equivalence Homotopy category Adjoint functors Simplicial set Equivalence relation Abstract algebra Homotopy theory Topology
356	Bernoulli Graph Bounds for General Random Graphs∗ Carter T. Butts† Abstract General random graphs (i.e., stochastic models for networks incorporating heterogeneity Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:45 Random graph Adjacency matrix Bipartite graph Clique Aanderaa–Karp–Rosenberg conjecture Erdős–Rényi model Graph theory Mathematics Graph
357	An Auction Mechanism for a Cloud Spot Market Adel Nadjaran Toosi, Kurt Van Mechelen, and Rajkumar Buyya December 2, 2014 Abstract Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2014-12-04 04:34:06 Uniform price auction Auction First-price sealed-bid auction Online auction business model Combinatorial auction Vickrey auction Auction theory Auctioneering Business
358	Operational domain theory and topology of a sequential programming language Mart´ın Escard´o Ho Weng Kin Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-10-17 12:09:06 Model theory Metalogic Structure Continuous function Orbifold Sigma-algebra Mathematics Mathematical analysis Abstract algebra
359	Model Transformation Design Patterns Hüseyin Ergin Department of Computer Science, University of Alabama, U.S.A. Abstract. In this document, a brief overview of my doctoral research is presented. Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2013-09-26 01:41:29 Systems science Systems theory Software design pattern Model transformation Pattern Object-oriented programming Model-driven engineering Graph rewriting VIATRA Unified Modeling Language Systems engineering Software engineering
360	What is Special about Children’s Deontic Reasoning? Monica Bucciarelli () Center for Cognitive Science and Department of Psychology, via Po 14, 10123 Torino ITALY Abstract The Mental Model Theory Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:53 Thought Modal logic Reasoning Cognitive psychology Epistemology Mental model Reason Modal operator Psychology Science Logic Ethology

UPDATE